Boolean Algebra in Discrete Mathematics